#ifndef __KERNEL_H__
#define __KERNEL_H__

#include "config.h"
#include "type.h"
#include "kernel/def.h"
#include "kernel/mem.h"
#include "kernel/list.h"
#include "kernel/object.h"

#endif /* __KERNEL_H__ */
